In Domain Realizability, not all Functionals on C[-1, 1] are Continuous
نویسندگان
چکیده
In this note we exhibit a continuity principle for real-valued functions on C[−1, 1] that is not validated by realizability over domains although it is validated by Kleene’s functional realizability corresponding to Weihrauch’s theory of type 2 effectivity. Mathematics Subject Classification: 03F50, 03F60, 18C50, 06B35.
منابع مشابه
The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems
Abstract. We investigate wether three statements in analysis, that can be proved classically, are realizable in the realizability model of extensional continuous functionals induced by Kleene’s second model K2. We prove that a formulation of the Riemann Permutation Theorem as well as the statement that all partially Cauchy sequences are Cauchy cannot be realized in this model, while the stateme...
متن کاملLocally Non-compact Spaces and Continuity Principles
We give a constructive proof that Baire space embeds in any inhabited locally non-compact complete separable metric space, X, in such a way that every sequentially continuous function from Baire space to Z extends to a function from X to R. As an application, we show that, in the presence of certain choice and continuity principles, the statement “all functions from X to R is continuous” is fal...
متن کاملContinuous Functionals of Dependent Types and Equilogical Spaces
We show that dependent sums and dependent products of continuous parametrizations on domains with dense, codense, and natural totalities agree with dependent sums and dependent products in equilogical spaces, and thus also in the realizability topos RT(Pω).
متن کاملComparing hierarchies of total functionals
In this paper, we will address a problem raised by Bauer, Escardó and Simpson. We define two hierarchies of total, continuous functionals over the reals based on domain theory, one based on an “extensional” representation of the reals and the other on an “intensional” representation. The problem is if these two hierarchies coincide. We will show that this coincidence problem is equivalent to th...
متن کاملDifferentiability of M-functionals of Location and Scatter Based on T Likelihoods
The paper aims at finding widely and smoothly defined nonparametric location and scatter functionals. As a convenient vehicle, maximum likelihood estimation of the location vector μ and scatter matrix Σ of an elliptically symmetric t distribution on R with degrees of freedom ν > 1 extends to an M-functional defined on all probability distributions P in a weakly open, weakly dense domain U . Her...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Math. Log. Q.
دوره 48 شماره
صفحات -
تاریخ انتشار 2002